bitkeeper revision 1.1726.3.1 (42c07007i9Bkz3ggP_PXIksWaGD1Eg)
authorach61@arcadians.cl.cam.ac.uk <ach61@arcadians.cl.cam.ac.uk>
Mon, 27 Jun 2005 21:30:47 +0000 (21:30 +0000)
committerach61@arcadians.cl.cam.ac.uk <ach61@arcadians.cl.cam.ac.uk>
Mon, 27 Jun 2005 21:30:47 +0000 (21:30 +0000)
commit2136a8f965c54a89786a0ae5225686fcffd113b9
tree2aefa9672cae7fa543dbef1d4f85cf826c584648
parentf53c8860229c31c0b544dc37df6a88ffa17cff71
bitkeeper revision 1.1726.3.1 (42c07007i9Bkz3ggP_PXIksWaGD1Eg)

add framework for debugging processes
28 files changed:
.rootkeys
tools/debugger/pdb/Domain.ml
tools/debugger/pdb/Intel.ml
tools/debugger/pdb/Makefile
tools/debugger/pdb/PDB.ml
tools/debugger/pdb/Process.ml
tools/debugger/pdb/Process.mli
tools/debugger/pdb/Util.ml
tools/debugger/pdb/Xen_domain.ml [new file with mode: 0644]
tools/debugger/pdb/Xen_domain.mli [new file with mode: 0644]
tools/debugger/pdb/debugger.ml
tools/debugger/pdb/evtchn.ml
tools/debugger/pdb/evtchn.mli
tools/debugger/pdb/linux-2.6-module/Makefile [new file with mode: 0644]
tools/debugger/pdb/linux-2.6-module/debug.c [new file with mode: 0644]
tools/debugger/pdb/linux-2.6-module/module.c [new file with mode: 0644]
tools/debugger/pdb/linux-2.6-module/pdb_module.h [new file with mode: 0644]
tools/debugger/pdb/pdb_caml_domain.c [new file with mode: 0644]
tools/debugger/pdb/pdb_caml_evtchn.c [new file with mode: 0644]
tools/debugger/pdb/pdb_caml_process.c [new file with mode: 0644]
tools/debugger/pdb/pdb_caml_xc.c
tools/debugger/pdb/pdb_caml_xcs.c [new file with mode: 0644]
tools/debugger/pdb/pdb_caml_xen.h [new file with mode: 0644]
tools/debugger/pdb/pdb_xen.c
tools/debugger/pdb/server.ml
tools/debugger/pdb/xcs.ml [new file with mode: 0644]
tools/debugger/pdb/xcs.mli [new file with mode: 0644]
xen/include/public/io/domain_controller.h